linear manifold
#topology #geometry #functional_analysis
Definition
Suppose is a vector space, is a non-empty subset of . If there exists such that is a vector subspace of , then is a linear manifold of
Say the dimension of i s the dimension of i.e.
Notes
- in the case , is called a hyperplane
- linear manifold in other words is a linear subspace possibly shifted away from the origin
- in , examples are points, lines (hyperplanes), and itself
- there are some inconsistent definitions in functional analysis and geometry contexts between different authors, so check terminology
- e.g. alternatively defined only for Hilbert spaces (a type of vector space) specifically, requiring closure under addition of vectors and scalar multiplication (i.e. linear subspace)